On certain $(f,\,g,\,u,\,v,\,łambda)$-structures

On finite substructures of certain stable structures

Certain Operations on Bipolar Fuzzy Graph Structures

A graph structure is a useful tool in solving the combinatorial problems in different areas of computer science and computational intelligence systems. A bipolar fuzzy graph structure is a generalization of a bipolar fuzzy graph. In this paper, we present several different types of operations, including composition, Cartesian product, strong product, cross product, and lexicographic product on ...

Orthogonal complex structures on certain Riemannian 6-manifolds∗

It is shown that the Hermitian-symmetric space CP1 × CP1 × CP1 and the flag manifold F1,2 endowed with any left invariant metric admit no compatible integrable almost complex structures (even locally) different from the invariant ones. As an application it is proved that any stable harmonic immersion from F1,2 equipped with an invariant metric into an irreducible Hermitian symmetric space of co...

Explorer On the Ubiquity of Certain Total Type Structures : ( Extended

We consider a simple and well-known category of alternating games (also known as sequential data structures) and several categories derived from it. In each case, we present an extension of Plotkin’s language FPC (or a suitable linearization thereof) which defines all computable strategies of appropriate types. The quest for such languages results in a novel selection of language primitives for...

On the ubiquity of certain total type structures

It is a fact of experience from the study of higher type computability that a wide range of approaches to defining a class of (hereditarily) total functionals over N leads in practice to a relatively small handful of distinct type structures. Among these are the type structure C of Kleene-Kreisel continuous functionals, its effective substructure C, and the type structure HEO of the hereditaril...